A Translation Method for Belnap Logic
نویسندگان
چکیده
In this report we present a translation of Belnap’s four-valued logic[1] into classical first-order logic. Soundness and completeness of the translation approach with respect to Belnap’s notion of entailment are proved. Examples derivations are also given. These results provide the basis for developing a belief revision approach for Belnap’s logic in terms of standard AGM [3] belief revision operators for classical logic1.
منابع مشابه
An infinity of super-Belnap logics
We look at extensions (i.e., stronger logics in the same language) of the Belnap-Dunn four-valued logic. We prove the existence of a countable chain of logics that extend the Belnap-Dunn and do not coincide with any of the known extensions (Kleene’s logics, Priest’s logic of paradox). We characterize the reduced algebraic models of these new logics and prove a completeness result for the first ...
متن کاملFour-valued modal logic: Kripke semantics and duality
We introduce a family of modal expansions of Belnap-Dunn four-valued logic and related systems, and interpret them in many-valued Kripke structures. Using algebraic logic techniques and topological duality for modal algebras, and generalizing the so-called twist-structure representation, we axiomatize by means of Hilbert-style calculi the least modal logic over the four-element Belnap lattice a...
متن کاملCIFOL: Case-Intensional First Order Logic
This is part I of a two-part essay introducing case-intensional first order logic (CIFOL), an easy-to-use, uniform, powerful, and useful combination of firstorder logic with modal logic resulting from philosophical and technical modifications of Bressan’s General interpreted modal calculus (Yale University Press 1972). CIFOL starts with a set of cases; each expression has an extension in each c...
متن کاملTemporal STIT logic and its application to normative reasoning
OATAO is an open access repository that collects the work of Toulouse researchers and makes it freely available over the web where possible. To cite this version : Lorini, Emiliano Temporal STIT logic and its application to normative reasoning. I present a variant of STIT with time, called T-STIT (Temporal STIT), interpreted in standard Kripke semantics. On the syntactic level, T-STIT is nothin...
متن کاملClassical Negation and Expansions of Belnap-Dunn Logic
We investigate the notion of classical negation from a non-classical perspective. In particular, one aim is to determine what classical negation amounts to in a paracomplete and paraconsistent four-valued setting. We first give a general semantic characterization of classical negation and then consider an axiomatic expansion BD+ of four-valued Belnap–Dunn logic by classical negation. We show th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998